منابع مشابه
The Theory of Zero - Suppressed
| Zero{suppressed binary decision diagrams (ZBDDs) have been introduced by Minato in 14]{{17]. Here the structural properties of ZBDDs are worked out and a generic synthesis algorithm is presented and analyzed. It is proved that ZBDDs can be at most by a factor n+1 smaller or larger than ordered BDDs (OBDDs) for the same function on n variables. Using ZBDDs the best known bounds on the number o...
متن کاملA paramagnetic molecular voltmeter.
We have developed a general electron paramagnetic resonance (EPR) method to measure electrostatic potential at spin labels on proteins to millivolt accuracy. Electrostatic potential is fundamental to energy-transducing proteins like myosin, because molecular energy storage and retrieval is primarily electrostatic. Quantitative analysis of protein electrostatics demands a site-specific spectrosc...
متن کاملA Parallel Manipulation Method for Zero-suppressed Binary Decision Diagram
A parallel algorithm for the manipulation of Zero-suppressed Binary Decision Diagrams (ZBDDs) on a shared memory multi-processor system was described. Theoretical analysis showed that parallel manipulation of ZBDD has a better time performance than the sequential operation of ZBDD. Since the parallel ZBDD algorithm uses much less time than the ordinary ZBDD algorithm, a real-time calculation ca...
متن کاملZero-Suppressed Computation: A New Computation Inspired by ZDDs
Zero-suppressed binary decision diagrams (ZDDs) are a data structure representing Boolean functions, and one of the most successful variants of binary decision diagrams (BDDs). On the other hand, BDDs are also called branching programs in computational complexity theory, and have been studied as a computation model. In this paper, we consider ZDDs from the viewpoint of computational complexity ...
متن کاملAn electrostatic voltmeter
An electrostatic voltmeter possessing several unique features is described. The size is a minimum for such instruments, since the potential difference is applied to two electrodes, the geometrical arrangement of which is analogous to concentric spheres. The inner electrode is supported on the end of an insulating bushing introduced through the outer electrode, which is a metal can. The inner el...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bureau of Standards Journal of Research
سال: 1929
ISSN: 0091-1801
DOI: 10.6028/jres.003.031